1. Software Engineering and Formal Methods
پدیدآورنده : \ Radu Calinescu , Bernhard Rumpe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,Mathematical Logic and Formal Languages.,Software engineering -- Congresses.,مهندسی ن‍رم اف‍زار ,نرم‌افزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
2. Software Engineering and Formal Methods
پدیدآورنده : \ Domenico Bianculli , Radu Calinescu, Bernhard Rumpe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),نرم‌افزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها,(روش‌های صوری (کامپیوتر
رده :
QA
76
.
758
.
S62
2015
E-Book
,
